أبو علي سينا
القياس 345
الشفاء ( المنطق )
الضرب « 1 » الثامن : كل ج ب ، وليس البتة إذا لم يكن كل ج آ ، فه ز . ينتج : ليس البتة إذا لم يكن « 2 » لا شئ من ب آ ، فه ز ، لأنه يكون حينئذ لا كل ج آ . التاسع : « 3 » كل ج ب ، وقد يكون إذا كان كل ج آ ، فه ز . ينتج : قد يكون إذا كان كل « 4 » ج آ ، فه ز « 5 » ، لأنه يكون « 6 » حينئذ كل ج آ . والعاشر والحادي عشر والثاني عشر والثالث عشر والرابع عشر والخامس عشر والسادس عشر متصلاتها جزئية ، ونتائجها جزئية « 7 » كلية « 8 » المقدم ، يحتاج أن تعلمه بنفسك . والسابع عشر : بعض ج ب ، وكلما كان بعض ج آ ، فه ز . ينتج : كلما كان كل ب آ ، فه ز ؛ لأنه يكون « 9 » حينئذ بعض ج آ . الثامن عشر : « 10 » بعض ج ب ، وكلما كان لا كل ج آ ، فه ز . ينتج : « 11 » كلما كان لا شئ من ب آ ، فه ز ؛ لأنه يكون حينئذ لا كل ج آ . والتاسع عشر : « 12 » بعض ج ب ، وليس البتة إذا كان بعض ج آ ، فه ز . ينتج : ليس البتة إذا كان كل ج آ ، فه ز . « 13 » « 14 » والعشرون : « 15 » بعض ج ب ، وليس البتة إذا كان لا شئ من كل « 16 » ج آ ، فه ز . ينتج : ليس البتة إذا كان لا شئ من ج آ « 17 » ، فه ز . « 18 »
--> ( 1 ) الضرب : ساقطة من ن . ( 2 ) لم يكن : لم يكن كان د ، سا ، ه ؛ كان س ؛ لا يكون ع ( 3 ) التاسع : الضرب التاسع سا ، ع ، عا ، ه . ( 4 ) كل ( الأولى ) : ساقطة من م ( 5 ) ج آ ، ف ه ز : ب آ ، ف ه ز د ، عا ، ن ، ه ( 6 ) يكون : ساقطة من س . ( 7 ) جزئية ( الثانية ) : ساقطة من ع ( 8 ) كلية : جزئية س ، سا ، ن ، ه ؛ ساقطة من د . ( 9 ) يكون : ساقطة من سا . ( 10 ) الثامن عشر : الضرب الثامن عشر س ( 11 ) ينتج : + ليس ه . ( 12 ) والتاسع عشر : التاسع عشر سا . ( 13 ) إذا كان كل ج آ ، ف ه ز : إذا كان ج آ د ، ن ( 14 ) ف ه ز : ساقطة من عا . ( 15 ) والعشرون : العشرون د ، س ، سا ، ن ( 16 ) لا شئ من كل : لا كل س ، سا ، ع ، ه . ( 17 ) لا شئ من ج آ : لا شئ من ب آ س ، سا ( 18 ) ف ه ز : ساقطة من سا ، عا .